g:IMonoid. Id{|g|}  MonHom(g,g) 

latex

Up	groups 1
Definitions of Statement	IMonoid, IsMonHom{M1,M2}(f), MonHom(M1,M2)
Definitions	MonHom(M1,M2), t  T, x:A. B(x), Id, x f y, FunThru2op(A;B;opa;opb;f), P & Q, Id{T}, IsMonHom{M1,M2}(f), , IMonoid
Lemmas	imon wf, monoid hom p wf, grp car wf, tidentity wf, grp id wf, grp op wf